Procedural programming languages

Results: 6378



#Item
2102157 Functional Programming - Tagged values and Higher-order list functions

02157 Functional Programming - Tagged values and Higher-order list functions

Add to Reading List

Source URL: www.imm.dtu.dk

Language: English - Date: 2013-01-17 16:16:49
22The	
  Birth	
  of	
  the	
  Pointer	
  Variable	
  	
   Based	
  upon:	
  Experiences	
  and	
  Reflec;ons	
  	
   of	
  a	
  Computer	
  Pioneer	
   Harold	
  “Bud”	
  Lawson	
   	
  

The  Birth  of  the  Pointer  Variable     Based  upon:  Experiences  and  Reflec;ons     of  a  Computer  Pioneer   Harold  “Bud”  Lawson    

Add to Reading List

Source URL: www.hig.no

Language: English - Date: 2014-04-03 02:41:06
23Combining Programming with Theorem Proving Chiyan Chen and

Combining Programming with Theorem Proving Chiyan Chen and

Add to Reading List

Source URL: www.cs.bu.edu

Language: English - Date: 2005-11-01 11:55:41
24Technical Report TTIC-TRMay 2009 CEAL: A C-Based Language for Self-Adjusting Computation

Technical Report TTIC-TRMay 2009 CEAL: A C-Based Language for Self-Adjusting Computation

Add to Reading List

Source URL: www.mpi-sws.org

Language: English - Date: 2011-07-23 03:32:59
25Code Style Randy Shepherd NYU Correctness is not Sufficient ●

Code Style Randy Shepherd NYU Correctness is not Sufficient ●

Add to Reading List

Source URL: cs.nyu.edu

Language: English - Date: 2014-03-05 12:03:11
26STK Reference manual Version 4.0 Erick Gallesio Universit´e de Nice - Sophia Antipolis Laboratoire I3S - CNRS URAESSI.

STK Reference manual Version 4.0 Erick Gallesio Universit´e de Nice - Sophia Antipolis Laboratoire I3S - CNRS URAESSI.

Add to Reading List

Source URL: kaolin.unice.fr

Language: English - Date: 1999-10-01 11:43:26
27Built In Functions Table of contents 1 Introduction........................................................................................................................ 2 2 Dynamic Invokers............................

Built In Functions Table of contents 1 Introduction........................................................................................................................ 2 2 Dynamic Invokers............................

Add to Reading List

Source URL: pig.apache.org

Language: English - Date: 2015-06-06 13:03:20
28Quotation and Re
e
tion in Nuprl and S
heme Eli Barzilay (eli
s.
ornell.edu)  Contents

Quotation and Re e tion in Nuprl and S heme Eli Barzilay (eli s. ornell.edu) Contents

Add to Reading List

Source URL: barzilay.org

Language: English - Date: 2009-07-13 03:34:39
29Self-Applicable C Program Specialization Lars Ole Andersen DIKU, Department of Computer Science, University of Copenhagen Universitetsparken 1, DK-2100 Copenhagn Ø, Denmark E-mail:

Self-Applicable C Program Specialization Lars Ole Andersen DIKU, Department of Computer Science, University of Copenhagen Universitetsparken 1, DK-2100 Copenhagn Ø, Denmark E-mail:

Add to Reading List

Source URL: repository.readscheme.org

Language: English - Date: 2010-10-22 08:04:55
30CE318: High-level Games Development Lecture 7: Persistence and Animations Diego Perez  Office 3A.527

CE318: High-level Games Development Lecture 7: Persistence and Animations Diego Perez Office 3A.527

Add to Reading List

Source URL: orb.essex.ac.uk

Language: English - Date: 2015-11-16 07:06:39